Erratum to: “Top-down Tree Transducers with Regular Look-ahead”
نویسندگان
چکیده
منابع مشابه
Look-Ahead Removal for Top-Down Tree Transducers
Top-down tree transducers are a convenient formalism for describing tree transformations. They can be equipped with regular look-ahead, which allows them to inspect a subtree before processing it. In certain cases, such a look-ahead can be avoided and the transformation can be realized by a transducer without look-ahead. Removing the look-ahead from a transducer, if possible, is technically hig...
متن کاملHow to Remove the Look-Ahead of Top-Down Tree Transducers
For a top-down tree transducer with regular look-ahead we introduce the notion of difference bound, which is a number bounding the difference in output height for any two look-ahead states of the transducer. We present an algorithm that, for a given transducer with a known difference bound, decides whether it is equivalent to a transducer without regular look-ahead, and constructs such a transd...
متن کاملLearning Top-Down Tree Transducers with Regular Domain Inspection
We study the problem of how to learn tree transformations on a given regular tree domain from a finite sample of input-output examples. We assume that the target tree transformation can be defined by a deterministic top-down tree transducer with regular domain inspection (DTopIreg). An rpni style learning algorithm that solves this problem in polynomial time and with polynomially many examples ...
متن کاملTop-Down Tree-To-Graph Transducers
We introduce a new syntax-directed translation device called top-down treeto-graph transducer. Such transducers are very similar to the usual top-down tree trans ducers except that the right-hand sides of their rules are hypergraphs rather than trees. Since we are aiming at a device which also allows to translate trees into objects ditTerent from graphs, we focus our attention on so-called tree...
متن کاملComposing extended top-down tree transducers
A composition procedure for linear and nondeleting extended top-down tree transducers is presented. It is demonstrated that the new procedure is more widely applicable than the existing methods. In general, the result of the composition is an extended top-down tree transducer that is no longer linear or nondeleting, but in a number of cases these properties can easily be recovered by a post-pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory of Computing Systems
سال: 2015
ISSN: 1432-4350,1433-0490
DOI: 10.1007/s00224-015-9647-z